0.53/0.66	unsat
