18.53/22.50	unsat
