14.57/19.09	unsat
