6.16/6.25	unsat
