19.74/22.37	unsat
