6.47/8.45	unsat
