5.57/7.96	unsat
