14.57/19.46	unsat
