69.85/71.39	unsat
