27.64/28.30	unsat
