13.33/19.80	unsat
