6.19/9.47	unsat
