27.33/29.72	unsat
