5.18/7.63	unsat
