6.17/8.47	unsat
