29.43/29.52	unsat
