14.37/16.86	unsat
