7.30/10.63	unsat
