3.97/6.87	unsat
