6.36/10.66	unsat
