10.56/10.66	unsat
