15.28/18.50	unsat
