28.24/29.26	unsat
