27.75/29.84	unsat
