79.95/80.40	unsat
