29.40/29.54	unsat
