29.64/29.71	unsat
