4.98/6.66	unsat
