18.80/20.50	unsat
