80.02/81.39	unsat
