27.43/28.13	unsat
