5.97/6.46	unsat
