5.83/7.47	unsat
