26.96/27.09	unsat
