18.44/18.50	unsat
