28.46/29.24	unsat
