20.74/22.43	unsat
