7.57/7.63	unsat
