6.04/8.63	unsat
