19.99/22.72	unsat
