14.93/18.46	unsat
