10.56/10.68	unsat
