29.48/29.52	unsat
