34.83/34.90	unsat
