5.97/7.47	unsat
