6.47/8.46	unsat
