10.78/10.81	unsat
