7.13/10.93	unsat
