5.97/6.75	unsat
