6.49/10.46	unsat
