34.43/34.79	unsat
