61.72/80.65	unsat
