78.24/80.39	unsat
