27.64/28.51	unsat
