14.12/17.86	unsat
