22.99/26.36	unsat
