34.71/34.99	unsat
