5.97/7.79	unsat
