27.30/29.93	unsat
