5.48/7.85	unsat
