27.48/29.76	unsat
