71.36/76.39	unsat
