31.69/34.04	unsat
