29.78/32.71	unsat
