7.44/10.63	unsat
