27.87/29.86	unsat
