27.13/29.47	unsat
