6.18/8.86	unsat
