5.72/8.80	unsat
