4.69/7.63	unsat
