28.83/29.47	unsat
