29.19/29.41	unsat
