0.50/0.66	unsat
