77.92/91.66	unsat
