26.05/27.63	unsat
