6.49/10.23	unsat
