15.75/18.50	unsat
