26.02/27.59	unsat
