10.69/10.78	unsat
