7.43/7.63	unsat
