1.28/1.66	unsat
