29.27/35.51	unsat
