15.78/19.25	unsat
