26.94/27.09	unsat
