5.08/6.63	unsat
