10.55/10.66	unsat
