27.03/29.86	unsat
