34.69/34.79	unsat
