8.19/8.80	unsat
