27.54/28.09	unsat
