30.95/34.21	unsat
