76.52/80.39	unsat
