18.05/20.50	unsat
