14.15/14.86	unsat
