27.07/28.76	unsat
