5.61/5.66	unsat
