31.34/34.64	unsat
