15.19/18.50	unsat
